Expressiveness of Temporal Query Languages: On the Modelling of Intervals, Interval Relationships and States

Storing and retrieving time-related information are important, or even critical, tasks on many areas of Computer Science (CS) and in particular for Artificial Intelligence (AI). The expressive power of temporal databases/query languages has been studied from different perspectives, but the kind of temporal information they are able to store and retrieve is not always conveniently addressed. Here we assess a number of temporal query languages with respect to the modelling of time intervals, interval relationships and states, which can be thought of as the building blocks to represent and reason about a large and important class of historic information. To survey the facilities and issues which are particular to certain temporal query languages not only gives an idea about how useful they can be in particular contexts, but also gives an interesting insight in how these issues are, in many cases, ultimately inherent to the database paradigm. While in the area of AI declarative languages are usually the preferred choice, other areas of CS heavily rely on the extended relational paradigm. This paper, then, will be concerned with the representation of historic information in two well known temporal query languages: it Templog in the context of temporal deductive databases, and it TSQL2 in the context of temporal relational databases. We hope the results highlighted here will increase cross-fertilisation between different communities. This article can be related to recent publications drawing the attention towards the different approaches followed by the Databases and AI communities when using time-related concepts

Allen's Interval Algebra Makes the Difference

Allen's Interval Algebra constitutes a framework for reasoning about temporal information in a qualitative manner. In particular, it uses intervals, i.e., pairs of endpoints, on the timeline to represent entities corresponding to actions, events, or tasks, and binary relations such as precedes and overlaps to encode the possible configurations between those entities. Allen's calculus has found its way in many academic and industrial applications that involve, most commonly, planning and scheduling, temporal databases, and healthcare. In this paper, we present a novel encoding of Interval Algebra using answer-set programming (ASP) extended by difference constraints, i.e., the fragment abbreviated as ASP(DL), and demonstrate its performance via a preliminary experimental evaluation. Although our ASP encoding is presented in the case of Allen's calculus for the sake of clarity, we suggest that analogous encodings can be devised for other point-based calculi, too.Comment: Part of DECLARE 19 proceeding

The Main Belt Comets and ice in the Solar System

We review the evidence for buried ice in the asteroid belt; specifically the questions around the so-called Main Belt Comets (MBCs). We summarise the evidence for water throughout the Solar System, and describe the various methods for detecting it, including remote sensing from ultraviolet to radio wavelengths. We review progress in the first decade of study of MBCs, including observations, modelling of ice survival, and discussion on their origins. We then look at which methods will likely be most effective for further progress, including the key challenge of direct detection of (escaping) water in these bodies

Increasing Protein at the Expense of Carbohydrate in the Diet Down-Regulates Glucose Utilization as Glucose Sparing Effect in Rats

High protein (HP) diet could serve as a good strategy against obesity, provoking the changes in energy metabolic pathways. However, those modifications differ during a dietary adaptation. To better understand the mechanisms involved in effect of high protein diet (HP) on limiting adiposity in rats we studied in parallel the gene expression of enzymes involved in protein and energy metabolism and the profiles of nutrients oxidation. Eighty male Wistar rats were fed a normal protein diet (NP, 14% of protein) for one week, then either maintained on NP diet or assigned to a HP diet (50% of protein) for 1, 3, 6 and 14 days. mRNA levels of genes involved in carbohydrate and lipid metabolism were measured in liver, adipose tissues, kidney and muscles by real time PCR. Energy expenditure (EE) and substrate oxidation were measured by indirect calorimetry. Liver glycogen and plasma glucose and hormones were assayed. In liver, HP feeding 1) decreased mRNA encoding glycolysis enzymes (GK, L-PK) and lipogenesis enzymes(ACC, FAS), 2) increased mRNA encoding gluconeogenesis enzymes (PEPCK), 3) first lowered, then restored mRNA encoding glycogen synthesis enzyme (GS), 4) did not change mRNA encoding β-oxidation enzymes (CPT1, ACOX1, βHAD). Few changes were seen in other organs. In parallel, indirect calorimetry confirmed that following HP feeding, glucose oxidation was reduced and fat oxidation was stable, except during the 1st day of adaptation where lipid oxidation was increased. Finally, this study showed that plasma insulin was lowered and hepatic glucose uptake was decreased. Taken together, these results demonstrate that following HP feeding, CHO utilization was increased above the increase in carbohydrate intake while lipogenesis was decreased thus giving a potential explanation for the fat lowering effect of HP diets

Transcriptional Regulation of N-Acetylglutamate Synthase

The urea cycle converts toxic ammonia to urea within the liver of mammals. At least 6 enzymes are required for ureagenesis, which correlates with dietary protein intake. The transcription of urea cycle genes is, at least in part, regulated by glucocorticoid and glucagon hormone signaling pathways. N-acetylglutamate synthase (NAGS) produces a unique cofactor, N-acetylglutamate (NAG), that is essential for the catalytic function of the first and rate-limiting enzyme of ureagenesis, carbamyl phosphate synthetase 1 (CPS1). However, despite the important role of NAGS in ammonia removal, little is known about the mechanisms of its regulation. We identified two regions of high conservation upstream of the translation start of the NAGS gene. Reporter assays confirmed that these regions represent promoter and enhancer and that the enhancer is tissue specific. Within the promoter, we identified multiple transcription start sites that differed between liver and small intestine. Several transcription factor binding motifs were conserved within the promoter and enhancer regions while a TATA-box motif was absent. DNA-protein pull-down assays and chromatin immunoprecipitation confirmed binding of Sp1 and CREB, but not C/EBP in the promoter and HNF-1 and NF-Y, but not SMAD3 or AP-2 in the enhancer. The functional importance of these motifs was demonstrated by decreased transcription of reporter constructs following mutagenesis of each motif. The presented data strongly suggest that Sp1, CREB, HNF-1, and NF-Y, that are known to be responsive to hormones and diet, regulate NAGS transcription. This provides molecular mechanism of regulation of ureagenesis in response to hormonal and dietary changes

The Spitzer Microlensing Program As A Probe For Globular Cluster Planets: Analysis Of Ogle-2015-BLG-0448

The microlensing event OGLE-2015-BLG-0448 was observed by Spitzer and lay within the tidal radius of the globular cluster NGC 6558. The event had moderate magnification and was intensively observed, hence it had the potential to probe the distribution of planets in globular clusters. We measure the proper motion of NGC 6558 (${{\boldsymbol{\mu }}}_{\mathrm{cl}}(N,E)=(+0.36\pm 0.10,+1.42\pm 0.10)\;{\rm{mas}}\;{{\rm{yr}}}^{-1}$) as well as the source and show that the lens is not a cluster member. Even though this particular event does not probe the distribution of planets in globular clusters, other potential cluster lens events can be verified using our methodology. Additionally, we find that microlens parallax measured using Optical Gravitational Lens Experiment (OGLE) photometry is consistent with the value found based on the light curve displacement between the Earth and Spitzer

Candidate Gene Screen in the Red Flour Beetle Tribolium Reveals Six3 as Ancient Regulator of Anterior Median Head and Central Complex Development

Several highly conserved genes play a role in anterior neural plate patterning of vertebrates and in head and brain patterning of insects. However, head involution in Drosophila has impeded a systematic identification of genes required for insect head formation. Therefore, we use the red flour beetle Tribolium castaneum in order to comprehensively test the function of orthologs of vertebrate neural plate patterning genes for a function in insect head development. RNAi analysis reveals that most of these genes are indeed required for insect head capsule patterning, and we also identified several genes that had not been implicated in this process before. Furthermore, we show that Tc-six3/optix acts upstream of Tc-wingless, Tc-orthodenticle1, and Tc-eyeless to control anterior median development. Finally, we demonstrate that Tc-six3/optix is the first gene known to be required for the embryonic formation of the central complex, a midline-spanning brain part connected to the neuroendocrine pars intercerebralis. These functions are very likely conserved among bilaterians since vertebrate six3 is required for neuroendocrine and median brain development with certain mutations leading to holoprosencephaly